منابع مشابه
Massimiliano Dal Mas
Increasingly sophisticated knowledge requires an inclusive knowledge representation that facilitates the integration of independently-generated information arising from different kind of efforts. The use of semantic web technologies addresses the reality of diverse interests on an ontology merging and supports knowledge discovery over that. Significant research efforts in the Semantic Web are r...
متن کاملPaola Dal Cin
Double minutes (dmin) and homogeneously staining regions (hsr) are the cytogenetic hallmarks of genomic amplification in cancer, more common in solid tumors than in hematologic malignancies. Double minute chromosomes are seen primarily in acute myeloid leukemia, with amplification of the MYC oncogene or, less frequently, the MLL transcription factor (Rayeroux and Campbell 2009). Both normal and...
متن کاملDAL: Rich Heap Assertions (Almost) For Free
We present the DAL language for heap assertions that are efficiently evaluated during garbage collection time. DAL is a rich, declarative, logic-based language whose programs are guaranteed to be executable with good whole-heap locality, i.e., within a single traversal over every live object on the heap and a finite neighborhood around each object. As a result, evaluating DAL programs incurs...
متن کاملLand Degradation Modeling in Dal lake Catchment
Soil erosion is a complex dynamic process by which productive surface soils are detached, transported and accumulated in a distant place resulting in exposure of subsurface soil and sedimentation downstream. Soil erosion in catchment areas and its subsequent deposition in rivers, lakes and reservoirs are of great concern to humanity. The soil erosion upstream results in the loss of reservoir ca...
متن کاملMultimo dal Logics of Products of Topologies
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archivum Anatolicum-Anadolu Arşivleri
سال: 1995
ISSN: 1300-6355
DOI: 10.1501/archv_0000000019